解釈 (論理学)
interpretation
論理式
に真偽値を対応させる関数
I: P -> B
論理式を入力に取り、Bool値を返す関数
/mrsekut-book-4007305803/036